# 도달 불가능한 코드

도달 불가능한 코드란 프로그램 실행 흐름상 어떤 경로로도 실행될 수 없는 코드 영역을 의미한다.

## 발생 원인

도달 불가능한 코드는 주로 제어 흐름을 결정하는 문장 뒤에 코드가 배치될 때 발생한다. 대표적인 원인은 다음과 같다.

*   **반환문 이후의 코드:** `return` 문이 실행되면 함수가 즉시 종료되므로, 그 뒤에 오는 코드는 실행되지 않는다.
*   **무한 루프 뒤의 코드:** 종료 조건이 없는 무한 루프(`while(true)` 등) 뒤에 배치된 코드는 루프를 빠져나올 수 없으므로 실행되지 않는다.
*   **항상 거짓인 조건문:** 조건식이 항상 `false`로 평가되는 `if` 블록 내부의 코드는 절대 실행될 수 없다.
*   **예외 발생 이후의 코드:** 반드시 예외를 던지는(`throw`) 문장 뒤에 오는 코드는 실행되지 않는다.

**예시 코드:**

```python
def check_value(x):
    if x > 10:
        return "Greater than 10"
        print("이 문장은 절대 실행되지 않습니다.") # 도달 불가능한 코드
    
    while True:
        print("무한 루프 중...")
    
    print("이 문장 역시 도달할 수 없습니다.") # 도달 불가능한 코드
```

## 영향 및 문제점

도달 불가능한 코드가 존재하면 다음과 같은 문제가 발생할 수 있다.

*   **코드 가독성 저하:** 실제로 실행되지 않는 코드가 포함되어 있어, 다른 개발자가 로직을 분석할 때 혼란을 줄 수 있다.
*   **잠재적 버그:** 개발자가 특정 코드가 실행될 것이라고 생각하고 작성했으나 실제로는 실행되지 않는 경우, 논리적 오류(Logical Error)로 이어진다.
*   **컴파일러 경고 및 에러:** 많은 현대적 컴파일러와 IDE는 도달 불가능한 코드를 감지하여 경고를 표시하거나 빌드 오류를 발생시킨다.

## 해결 방법

*   **불필요한 코드 제거:** 실행될 가능성이 없는 죽은 코드(Dead Code)를 삭제하여 코드베이스를 깨끗하게 유지한다.
*   **로직 수정:** 코드가 실행되어야 함에도 도달 불가능한 상태라면, `return` 문이나 루프의 위치, 조건식의 논리를 검토하여 실행 흐름을 수정한다.

## 언어별 특성

주요 프로그래밍 언어마다 도달 불가능한 코드를 처리하는 방식에 차이가 있다.

*   **Java:** 컴파일 타임에 도달 불가능한 코드를 엄격하게 검사한다. 만약 도달 불가능한 코드가 발견되면 컴파일 에러(`unreachable statement`)를 발생시켜 빌드를 중단한다.
*   **C#:** 컴파일러가 도달 불가능한 코드를 감지하면 경고(Warning)를 표시하지만, 기본적으로 컴파일 자체는 허용한다.
*   **Python:** 인터프리터 언어 특성상 실행 시점까지는 문제가 되지 않으며, 컴파일 에러를 발생시키지 않는다. 다만, PyLint나 Flake8 같은 정적 분석 도구를 통해 경고를 확인할 수 있다.